تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۵,۸۱ ثانیه یافت شد.

1. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

پدیدآورنده: edited by J. Diller and G. H. Muller

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Proof theory,، Schutte, Kurt - Bibliography

رده :

QA

1

.

L4

v

.

500

2. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

پدیدآورنده: edited by J. Diller and G. H. Muller

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده :

QA

3

.

L28

Vol

.

500

3. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday; Proceedings of the international summer institute and logic colloquium, Kiel, 1974

پدیدآورنده: / edited by J. Diller and G. H. Muller

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Proof theory - Congresses,Schutte Kurt - Bibliography

رده :

510

L471

No

.

500

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است